gwern comments on Abstractions as Redundant Information