User blog comment:Murrayfan54/Lemma Theories/@comment-14724453-20150305004839/@comment-25769138-20150305120530

Fair enough.