you don't want to inherit doc.

Say that this will pass only if all the internal constraints match, and there is no guarantee about order or that all of them execute.