Talk:Isabelle/@comment-11412505-20140513113318/@comment-15387575-20140522024200

ohhhh burnnnnn. xD