chiark / gitweb /
Introduce a new deductive mode in Slant's Hard level, which is the