Marr's metatheory revisited