johnswentworth comments on Basic Inframeasure Theory