x<13 Xor x<5