 4. If one condition or set of conditions is sufficient for (ensures) another, then the other is necessary (essential) for it, and conversely, if one condition or set of conditions is necessary (essential) for another, then that other is sufficient for (ensures) it.