Z -> d
Z -> X Y Z
Y -> 0
Y -> c
X -> Y
X -> a