#inductive logic