Changing the meaning of `Resolution`
Refining Options