This is *not* a review deviation of the accepted [p0670r4](http://wg21.link/p0670r4) document but was observed during the review: In [reflect.synopsis], the declaration is presented as: ``` template <class T> concept Typed; // refines Object ``` but the defining sub-clause [reflect.concepts.typed] says: ``` template <class T> concept Typed = Named<T> && see below ; ``` If the synopsis comment was correct, I would expect that [reflect.concepts.typed] should be presented as ``` template <class T> concept Typed = Object<T> && see below ; ``` but if [reflect.concepts.typed] is correct, I would expect that [reflect.synopsis] is corrected to say ``` template <class T> concept Typed; // refines Named ```