fixed cofinite quantification problem I think