## If the label is already taken then we have a problem.
if step.label in me._steps:
- raise ValueError('duplicate label `%s\'' % step.label)
+ raise ExpectedError('duplicate label `%s\'' % step.label)
## Store the proof step.
me._pmap[step.p] = step.label