not (0 |^ 4) + ((0 + 1) |^ 4) is composite ;