Implement proof output