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