johnswentworth comments on Motivating Abstraction-First Decision Theory