För den händelse , som antagligt är ,att