0 -> S
S -> 0
S <-> R
0 -> R