Steve's Blog on Rational Requirements and Design