Nonstandard logic.
---
RT @littmath
a false statement implies everything, so any time you show a statement P implies something, that's evidence that P is false
https://twitter.com/littmath/status/1367223757975277573