User blog comment:Hyp cos/Analysis - BEAF, FGH and SGH (part 3)/@comment-24509095-20140626092059/@comment-24509095-20140627145822

lol for once I actually understood those first-order logic stuff :P