Not distinguishing between "is" and "should be" explains a lot about why programmer types have trouble with requirements. :D