You have not understodd a sentence, unless you can prove it.

Hans-Jürgen Brämik You have not understodd a sentence, unless you can prove it. 49-58 1987 conf/birthday/1987rodding Computation Theory and Logic db/conf/birthday/rodding87.html#Bramik87