ETEC 534: METatheory