Added Biconditional out and in rules.