Corrected formulation of Pr(Z|Y,X). Now the accuracies match that of
Hoffmann (only the inference algorithms differ in both of these)