added to the proof strategy and replace proj definition