User blog comment:Murrayfan54/Lemma Theories/@comment-11461515-20150307163037/@comment-24454244-20150308042308

Now it all makes sense. And also, explains why I nearly cried this morning about this.