add a parameter to the correct method : a certificat is correct for a given problem