See review-comment PEC11 from 2020. Location in ZkpComRef-0.2 to revise: add new section 3.6 Create sub-section within section 3.6 of ZkpComRef 0.2.