GoProofTextModule cc2015_2017_2018