Oops; _actually_ add the reasoning mode I mentioned in the last
checkin.

[originally from svn r5671]