>One of the doyens of theorem proving (John Rushby?) has a notion that >one way to get kids hooked on formalism is to present it as a game in >high school. [...] >I'm sure there are some school-level games that apply this principle. I remember this one: http://www.wff-n-proof.com/ Well, at least I remembered the name... -- D.