more manageable parts. Scope validation formal