1 && 2 ^^ 3
