!(x = 5467 || x = 6574)