Work on disjunction bug
Fixed biconditional bug