upvote
RIP modus ponens!
reply