,BICONDI;NAL ,EXAMPLES #A4 ;P IF & ONLY IF ;Q IS WRITT5 _% P $[33O Q _: #B4 A IF & ONLY IF ;B US+ ! D\BLE >R[ %AFT IS WRITT5 _% A $[77O B _: #A