proof-tightened