SHERLOCK is designed to take account of eleven desiderata constraining
any would-be intelligent tutoring system intended to educate
humans in the area of deductive reasoning.
In this section we gradually assemble these desiderata from
(brief) consideration of relevant theory.
In the next
section we describe SHERLOCK as technology designed to satisfy the desiderata
in question.