In an interesting special case of b), exemplified by belief in scientific laws, prefixing 'I correctly believe (via M) that' to restores both of Nozick's two counterfactual conditions when they fail for alone.