phi(x, y) := forall R'. (forall x y. xRy -> xR'y) -> (forall x y z. xRy -> yR'z -> xR'z) -> xR'y
Why was this typed into my compose toot box before I fell asleep
phi(x, y) := forall R'. (forall x y. xRy -> xR'y) -> (forall x y z. xRy -> yR'z -> xR'z) -> xR'y
Why was this typed into my compose toot box before I fell asleep