Event Recording Spec, with rejected ideas and examples re #3