CLR III N 2 Formal requirements