fixing up metatheory