Remark 16:
Entry uncertain