free Boolean extensions and MacNeille completions, join and meet infinite distributive laws, nuclei and Booleanization.