 Should we require impossible worlds to comply with any logical rules? And if we allow different classes of impossible worlds, each exhibiting different degrees of logical structure, can these classes be ordered in a meaningful way? This section focuses on these two issues.