Journal Journal: Yenya's blog is elsewhere
My journal (blog) is at http://www.fi.muni.cz/~kas/blog/. Nothing to see here, move along.
I have a theory that it's impossible to prove anything, but I can't prove it.