Reasoning about extremal properties of events | IEEE Conference Publication | IEEE Xplore