Write conclusion
Check that the restricted modal collapse hold for Anderson's proof with varying domains as well
Add acknowledgment and note about authorship