Opt

TODO: doc the new tag. Is that the way we want to go?
those assumption -> these assertions
If you are sure you all is valid -> If you are sure everything is valid

*I'm not sure about the word change.  If you want to keep assumption then add an 's' at the end*