In formal logic, the definition of a dilemma differs markedly from everyday usage. Two options are still present, but choosing between them is immaterial because they both imply the same conclusion. Symbolically expressed thus: