Value
State
15
10
5
0
0
1
2
3
4
5
6
7
8
9
Eventually B must be equal to C
Probably false after 9 states
B
C