Attributes . logic DI || safety compliment of STO_A, compliment of STO_B . Names