It sounds like we want to use \<scope>provided\</scope> instead (same result, different semantics)