Index. Writing a Theorem Prover [004S]