Priest and Berto's work on impossible worlds shows that formal consistency within a non-classical lo...