Мы коллективно принимаем, подтверждаем, признаем, и т.д., это (S имеет власть (S делает A))

Мы можем сократить эту формулу, как

Мы принимаем (S, имеет власть (S, делает A)).

Пусть это называется "лежащей в основе структурой." Другие случаи статус - функций - случаи, когда Булевы действия выполняются на основе этой структуры, или случаи, когда структура является частью системы таких повторяющихся структур, или случаи, когда "власть", назначенная структурой чисто почетная. Таким образом, например, требование, чтобы я платил налоги, определяется в терминах отрицания основной структуры.

Мы принимаем, что (от S, требуется (S платит налоги)) тогда и только тогда, когда мы принимаем, что (S не имеет власть (S платит налоги)).

Наличие одного штрафа в игре бейсбол - вопрос создания условий и повторения основной структуры.

Мы принимаем, что (S, имеет один штраф) тогда и только тогда, когда мы принимаем, что (если S имеет больше двух штрафов он выходит из игры).

И удовлетворение предшествующих условий автоматически поднимает структуру к более высокому уровню итерированных (повторяющихся) статус - функций, где конвенциональная власть становится декларацией.

Мы принимаем, что (S выходит из игры) тогда и только тогда, когда мы принимаем, что (от S требуется (S, оставляет поле))).

И правая часть редуцируется до основной структуры плюс отрицание,