Getting a wee bit theoretical up in here.

also containing two "metatheory"s, a "meta-ness" and a super-bonus "meta-metatheorizing"