[cyrus_]

Reminds me of a math blog I set up in grad school called "Nothing Left to Prove". No posts.

[tuix]

Or, what is left to prove is trivial.