The reason for this is that the terms are not set out well in expression, since if the things which are in the conditions are substituted, no deduction can be made, eg if healthy is substituted for health and diseased for disease.