• \(A \geq B\) ならば delicious
  • \(A+X \geq B\) ならば safe
  • そうでなければ dangerous