Do you really want to send Belgarath a message saying you like their work?
A situation in logic whereby two solutions can be derived from the same proof, but those conclusions contradict one another. However, taken individually, both cases are valid.