 Another way in which the dialetheist may express the exclusion that \(A\) is the case is by uttering ‘\(A \rightarrow \bot\)’, where again \(\bot\) is ‘Everything is true’. Similarly, a dialetheist may try to fix that \(A\) is consistent by saying ‘if \(A\) is both true and false, then \(\bot\)’. Considerations by e.g. Field (2008, Ch. 27), Murzi and Carrara (2013), and Berto (2014), however, cast doubt on whether ‘arrow-falsum’ can work as a dialetheic exclusion-expressing device in all cases. One reason is due to side-effects of the aforementioned Curry paradox. Another is that ‘arrow-falsum’ is very strong; a mundane sentence like ‘Alice had spaghetti for dinner’ may be false-only (she didn’t), but if it were true too, that wouldn’t be absurd. Cf. Beall 2013, proposing exclusion via non-logical, theory-specific rules of the form \(A,\neg A \vdash \bot\) for each sentence \(A\) we take to be consistent; Scharp 2018 suggests possible problems for this approach. 