Fixing negative proofs to reset currency bug