Jobst Heitzig comments on Basic Inframeasure Theory