Talk:Isabelle/@comment-5731138-20140920222358

and hot