An Introduction to Logical Domains, Part 4