trying to sort out why certain invariants are not holding.  Part of the problem was I wasn't normalizing (...), another part may be the P(A) terms that come from the learned CPT are slightly differnt than the straight forward numbers from selective_eval.  Fixing this now