Formalization of psychological theory. · Study