> "correctness" should be a prerequesite for any feature to be present. > "correctness" doesn't make a feature useful by itself though. Right. But having a bug (or hole) isn't necessarily a reason to *remove* a feature either.