Value
State
15
10
5
0
0
1
2
3
4
5
6
7
8
9
It must always be the case that B is greater than C
In state 6, B (13) is not greater than C (15)
B
C