Will `S(2) & S(3)` return `And(S(2), S(3))` or `2 & 3`?