Text this: Pure inductive logic /