A probability calculus that presupposes contested Armstrong-Dretske-Tooley necessitation relations i...