The Compiler Is Complete