Caio bibiloni. Defens margonem. Modus ponens vs modus tollens. Fluctionase.