logic reboot - trying again via an Inductive Prop