Remark 16:

Entry uncertain