With reference to L. Karttunen (1971: 'Some observations on factivity'), M. argues that the inference from 'possible A' to B, if A presupposes B, is just like that from A to B when A presupposes B, and that this can be generalized to other modal contexts.