³Technically, this is not quite true: It would be possible to define an event class in the Nuprl library and import it into an EventML program.