johnswentworth comments on FAI and the Information Theory of Pleasure