chiark / gitweb /
Oops; _actually_ add the reasoning mode I mentioned in the last