Title: Pure Inductive Logic