THE FORMAL EVALUATION