Improving Formal Methods of Performance Appraisal