 Each world-domain is maximal consistent. Maximal consistency entails conjunctive closure, so each world-domain is maximal consistent. A maximal set of facts contains all non-contingent facts (if any), and is never empty.