GL F II 4 Description (formal requirements)