Dubious meetsEndCondition