checkin don't push
Proof that boxy list/e is fair