- worked on the transitive rule