Точные значения слов «Должен и должен» в стандарте C ++

Я просматривал стандартную версию С ++ 03. И я начинаю путаться со значениями слов Должен и Должен .

Должен в стандарте, кажется, указывает на обязательное требование (будет иметь), тогда как Должен в стандарте, кажется, указывает на необязательное требование (мог бы иметь). , Если подразумевает ожидание, я неправильно понял значение? Разве не Можно ли использовать вместо этого?