Additional menu

necessary but not sufficient conditions