ICAS workshop format
Working on the new symbols and formulation of replace_proj