the proof counts

the proof counts

RobertVoss