  One additional worry that has been raised against both the WK and the SK treatment of category mistakes (Thomason 1972, 231) is that not all classical tautologies are deemed true on these logics. For example, both logics render the following truth-valueless: