Три типи тверджень не виключають один одного. Наприклад, і оператори автентифікації, і оператори атрибутів можуть бути включені в одне твердження (як показано вище).
Виправте зв'язність в реченні: три типи тверджень не виключають один одного. І заяви автентифікації, і заяви атрибутів можуть бути включені в одне твердження (як показано вище).