This way we do not need to create a new Proj, when we replace a Store + IncSP by a Push.