‘In accepting H we do not hold that B v B follows from anything
and everything, but none the less we do hold that we ought to
accept B v B. Excluded middle is mandated by acceptance of H
through the acceptance of t, not because each B v ~B follows
from Ø.’ — Greg Restall, qt. sl. mod.