I was browsing the Swiki's recent changes and saw the following link:

	Morphic counter example

I thought, "My that's interesting, I wonder if it's a counterexample to
*Morphic* or what Morphic is counterexampling."

Of course, it turns out to be a tutorial about writing a little counter
thingy in Morphic :)

Which looks fine, but I was *most* disappointed! :)

Cheers,
Bijan Parsia.