Formal Evaluation of Raging Bull