 Swyneshed explicitly considers a situation where a = ‘a does not signify as is the case’, and says that a is neither true nor false in that situation. This is the only known case of a medieval author’s actually allowing failure of bivalence for insolubles, even though several authors refer to (and reject) such  theories.[25]