johnswentworth comments on Abstraction Talk