Add proof labels