Transitive Property Logic All Are Mortal