Analyzing metatheorem.com...