Divergence causes isolated demands for rigor — LessWrong