modus_ponens ππ΄=π₯π΄ Haha, funny additions there in the text π Posted 2 years ago Report Link Quote Reply