public double prior(params IProposition[] phi) { return probabilityOf(ProbUtil.constructConjunction(phi)); }