Are the judgments satisfied?