andrew sauer comments on Introduction to abstract entropy