We now consider how to establish for the PITL operator the axiom “4” (PITL Theorem BfImpBfBf) found in the modal systems K4 and S4.