Tagged proof-management