return new TypedBDD(factory.zero(), s);
return new TypedBDD(factory.one(), s);
    public BDD one() {        Set s = makeSet();        //Set s = allDomains();        return new TypedBDD(factory.zero(), s);    }