Talk:Isabelle/@comment-11505411-20140513122006/@comment-24858160-20140513124313

LoL :v