Proof traditions can die or be killed