Ruby comments on Introduction to abstract entropy