Proved P_True, P_False and P_Not in the other direction.