logic disease prov