get rid of unnecessary parenthesis
file: better naming
spec: change domain to Must-Set * May-Set