  We have seen that two of the more significant threats to the unchallengeable status of LNC tend to dissolve under closer scrutiny. Heraclitus-type contradictions (Sea water is healthy and sea water is not healthy) are rendered LNC-compatible by the Aristotelian rider designed for that purpose (“a is F” and “a is not F” cannot both hold in the same sense, at the same time, and in the same respect) once the “dropped qualification” or contextual specification is restored (§4). Buddhist-type contradictions (Nirvana exists and Nirvana does not exist) can be understood as modalized, embedded under an epistemic modal or assertability operator.