All-Events-B