chiark / gitweb /
new THEORY, proved