provable inference