Formalized theory of appraisive judgments door