The box {$\{1,y_{_T},y_{_T}\}$} has loops iff {$y_{_T}>2$} ({$z_{_T}>1$}).
Proof:
The cases for {$y_{_T}=1,2$} are easily handled by inspection. For {$y_{_T}>2$}, we see there is a loop.
