Nu c \ euafl: