What will be proved

The evaluation ${\mathrm{ev}}_0$ sets all classical fields to zero and hence extracts the field-independent coefficient. It is not a replacement of the algebra-valued target by a matrix element: it is a necessary continuous coefficient map of the proposed algebra extension.