Biconditionals and Definitions