Elide proj1_sig