Lunchroom Rules Proof2