Fix metatheory