nomos-pocs/goas/cl/proof_statements