necessary condition philosophy examples