 There is some debate about whether this consequence is sufficiently troublesome, but the intuitionistic anti-realist takes solace in the fact that she is not committed to the blatantly absurd claim that all truths are known. Very interesting discussion concerning the hopes and dreams of intuitionistic antrealism in this context appears in Murzi (2010; 2012), Murzi et al. (2009) and Zardini(2015).