redissolubleness
not defined yet