cms' and (7=8 xor 5=7)-- a