The argument that most goals imply the same intermediate goals, the formal results that support a version of it, and four distinct critiques worth taking seriously.
