[M3rcuriel]

In a situation which makes a surprising amount of sense:

(MVRT∨Citrus Circuits)∧Poofs = Poofs

This is using the binary representation of the decimal team numbers, not the binary representation of the ASCII text.
00000000 00000000 00000000 01110011 (115)
or
00000000 00000000 00000110 10001110 (1678)
=
00000000 00000000 00000110 11111111 (255)
and
00000000 00000000 00000000 11111110 (254)
=
00000000 00000000 00000000 11111110 (254)

which makes perfect sense because of the range of the particular team numbers.