Writing formulae are like design patterns. They give us names to think and talk about structures, but too often become dogmata.