Home Online Mathematical Communication Shtetl-Optimized Practicing the modus ponens of Twitter