If necessitism is correct, the invalidity of BF in KQML's semantics indicates a defect in that seman...