refining proof titles