Zero is the number of objects that satisfy a condition that is never satisfied. But as never means "in no case", I do not see that any progress has been made.