Every Gossip graph is caas.
Schlagwort: Logik
MCHLPE.
rabern `solves` hlpe
Two kinds of proof.
Conference:
Simple induction on 
.
Journal:
By induction on .
... [a whole page] ...
QED.
Phyton.
You know you went to ILLC when you look for old python code examples in a folder named "philosophical logic".
Ifter.
Let's have a word for "if then after".
Example: "Ifter we go to the park I want ice cream." = "If we go to the park then after that I want ice cream."