Миша Вербицкий в РЖ
Тут.

Мишу, как всегда, подводит неразличение логических всяких операторов, кванторов и модальностей.
Вместо возможности - долженствование, вместо "некоторые" - "все", вместо "и" - строгое "или".
А так - совершенно верно.