Haiku

I came across a Japanese translation of the Theorem Proving Haiku page at Cambridge today. So here's my haiku in actual Japanese:

Isabelleは私がわかりません。
私話さない彼女metaの言語。

I've no idea if this is a proper translation, or the output of something like Babelfish, in which case it probably makes even less sense than it does in English.

There's a bit of a lull on the photo-taking front here as I managed to drop my camera (fortunately in its case) while en route to the GFT the other day. The lens doesn't seem to be damaged, but the UV filter smashed and is now wedged firmly into the lens casing. I'm hoping the Canon repair shop on Hope Street can sort this out tomorrow...