Text this: Textbook of inductive logic