Correctness lemmas for some operators in boolF2.