The Formalization of a Psychological Theory · Study