The initial, or blank, state must be independent of formula_1, of which we have no prior knowledge.
Начальное состояние, конечно, не должно зависеть от состояния formula_1, поскольку это состояние нам неизвестно.