Again if it is necessary that animal should exist, if man does, and that substance should exist, if animal does, it is necessary that substance should exist if man does; but as yet the conclusion has not been deduced; for the propositions are not in the shape we described.