metatheory, machines