The class BPP does not require witnesses, although witnesses are sufficient (hence BPP contains RP, co-RP and ZPP).
BPP は証拠を必要としないが、証拠があれば十分である（従って、BPP は RP も Co-RP も ZPP も包含する）。