Not ready to go with AutoProv:0 quite yet