seven solution formalism