cur
cur copied to clipboard
new-elim -> elim, elim -> old-elim
Should have renamed these during the turnstile merge.