Formalize projections before exempting explicit aliases.