compilers, tea, and slow disagreement over fast certainty.