0 -> P
P -> 0
0 -> Q
Q -> 0
0 -> R
R -> 0