Projection construction A. Compiles