The Proper Specification of Requirements