Formal Evaluation 2006