Formal Event Selection