a certificate that the programmer can test