x is soluble in water,' or the equivalent in words; but, according to the definition suggested, we should then have to admit within quantifications the expression 'if were in water then would dissolve; that is, 'necessarIly if is in water then dissolves.