Static guarantees are better than stochastic parrots. A static linger beats telling Claude "check this idiom". Etc etc.