#.include ping_pong.fair
!(player_A.state=BALL);
!(player_B.state=BALL);

# begin fairness constraints on monitor nnb. 
# The fairness constraints allow only bad behavior.

(nnb.state = BAD);