proof-tightened
proof-tightened