start work on metatheory