but of course if these actions are the only reason why these propositions are in this proposition layer, and these actions cannot possibly occur together, that means, the 2 propositions also can't possibly occur together, at least not in this proposition layer.