Roger added exploration of dependence of definitional disjunction on choice of beta