0 REP 69 F (if p(v69) then |^B|v69^B,|^D|v69^D,|^W|v69^W fi/) XXXXXXXXXXXXXXXXXXX