Contra Chord Simplification — LessWrong