• 期待と違う挙動が起こる
  • 解釈事実ギャップがある
  • 「こうである」という解釈は全て信じられない
  • どの解釈が事実とマッチしているのか検証する必要がある
    • 「マッチしてない」は確認できるが「マッチしている」は確認できない
    • バグの不在