Example Formal Assessment