This will be extracted in a future pull request for `ecclean` along with `P_OVER_4`.