Add proof titles