Chapter 5.2.4 - Memory scrubbing: must vs should

[eckhard-delfs-qualcomm]

The informative section in 5.2.4 states .... "then the TVM must scrub the confidential memory..."
Suggestion: Use "should" instead of "must". Architecturally it's not a requirement (the TVM is making the COVG call itself), just a best practice. Either "the TVM should" or "the TSM must". What the TVM does or does not in this case is not enforceable.