Quantification faite, a checker