Может ли руководство по дедукции иметь явный (bool) спецификатор?

В нескольких частях стандарта указано, что руководство по дедукции не может иметь явный спецификатор, но может иметь только явное ключевое слово, предшествующее ему.

подобно:

в temp.deduct.duide

deduction-guide:

explicit_opttemplate-name ( parameter-declaration-clause ) -> simple-template-id ;

обратите внимание, что стандарт говорит: явное_opt, а не явный спецификатор.

или в dcl.fct.spec

An explicit-specifier shall be used only in the declaration of a constructor or conversion function within its class definition; ...

но стандарт также говорит в превышение.соответствия.класса.вычет

If the function or function template was generated from a constructor or deduction-guide that had an explicit-specifier, each such notional constructor is considered to have that same explicit-specifier.

эта цитата подразумевает, что направляющие дедукции могут иметь явный спецификатор.

Я не вижу особой причины, по которой руководство по дедукции не могло иметь явный спецификатор.

Проблема в моем понимании стандарта или в самом стандарте?

Может ли руководство по дедукции иметь спецификатор явный (логический)?