Replaced Diamond with \may and redefined the latter. Removed an unneccessary word.
Stuff.