Added biconditional operator. Simplified interface.