Changing the size of Congress — LessWrong