CLR III E 5.4.4 Requirement for a cross-check