What are the components of a good definition? Can all definitions be rewritten as biconditionals?