Software Specification Fallacies