restriction in Rel may-must

Tags: Rel may-must.