User blog comment:Vel!/Call for math facts/@comment-24509095-20140730102258/@comment-25418284-20140730152330

That's a fact for the !fact database, not !mathfact.