G3 Clause Meanings
G3 Clauses model the behavior of the tape
The first set of clauses guarantees that at any time i, each tape square contains at least one tape symbol. We are concerned only about squares numbered from -p(n) through p(n)+1.
The second set of clauses guarantees that at any time i, no tape square contains more than one tape symbol.