Piling bounded arguments — LessWrong