User blog comment:Murrayfan54/Lemma Theories/@comment-11461515-20150504233624

Before everyone here goes nuts, they're now engaged. And please, all I ask of you, is that everyone here keeps their excitement toned down. The DiLemma round 2 has already started on Twitter, I'd prefer the same thing doesn't happen here.