Description: Looking one past a pair related by transitive closure of a relation. Proposition 95 of Frege1879 p. 70. (Contributed by RP, 2-Jul-2020) (Revised by RP, 7-Jul-2020) (Proof modification is discouraged.)