Explain constant and varying domains
?
Add fixed version of Anderson's proof with mixed quantifiers