Choice & Change: Introduction to Inductive Logic