Note on metatheory