ブール式が
true
であることを検証するチェックを追加します。