getProjection

ProjectE

goal

Sequent