How would you determine that it's a necessary condition and not just a sufficient condition?