distr and cnf implemented; cnf is not correct