David Deutsch: Indent Hunter.