Formal performance