Thus (e.g.) living creature is true of that of which having a soul is true, and having a soul is true of that of which living creature is true; and so having a soul will be a property of living creature.