If P And A B Then In Terms Of The Work