Analysis with theorem-provers showed that the Anderson and Fitting variations do not entail modal co...