Formalizing Verbal Theories · Study