Jan comments on Applied Mathematical Logic For The Practicing Researcher