change rule implemented
removed givens involving P_Val (don't need them!)