Formalized theory of appraisive judgments by