Opt

TODO: doc the new tag. Is that the way we want to go?
those assertion: -> those assertions with: