Metatheory is theory about theory.