Session 1B - (Semi)Algebraic Proofs over {±1} Variables