Originally Posted by
Itsajob
I’d rather get kicked in the junk than relax scope by any amount.
I’m definitely a NO vote if we receive a TA that has ANY relaxation in Scope. I don’t care what the rest of the TA says, because I won’t even read it. If section one is unsat, the rest of the TA is unsat.