Embed Notice
HTML Code
Corresponding Notice
- Embed this notice
John Horton Conway (johnconway@brain.worm.pink)'s status on Saturday, 14-Dec-2024 08:11:21 JSTJohn Horton Conway @jackemled @Ezzy @anathema (A -> (B -> C)) -> ((A -> B) -> (A -> C))
Because := <-
(Anna is alive because Anna is evil because Anna posts) implies (Anna is evil implies Anna posts) implies (Anna is alive implies Anna posts)
Well that was worthless