public void impWith(BDD that) { this.applyWith(that, BDDFactory.imp);
public BDD impWith(BDD that) { return this.applyWith(that, BDDFactory.imp);
    public void impWith(BDD that) {        this.applyWith(that, BDDFactory.imp);    }