>out of proofs again
This is stupid.
Why can't you use two reset tickets on the same material?