Notes on unions
Enumeration notes