Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism

On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succe- dent. This interpretation goes against its own ecumenical ambitions, endow- ing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert.