Talk:Isabelle/@comment-24516769-20140514033551

Ah, kawaii