  Note the form of the translation here, or similarly that of the standard rendering of the negative catuṣkoṭi that “it profits not” to assert Φ, to assert ¬Φ, to assert both Φ and ¬Φ, or to assert neither Φ nor ¬Φ: the relevant negation can be taken to operate over an implicit modal, in particular an epistemic or assertability operator. If so, neither LEM nor LNC is directly at stake in the tetralemma: you can have your Aristotle and Buddha too.