Negative priors to speed up abduction example.