X -> a Y
Y -> b
Y -> b Z
Z -> a Y