Start inductive process at K = 0 to catch trivially true properties
Start inductive process at K = 0 to catch trivially true properties

andrewkatis/jkind-1,andrewkatis/jkind-1,backesj/jkind,backesj/jkind,agacek/jkind,lgwagner/jkind,lgwagner/jkind,agacek/jkind