Congruence: certificate: reifiable