More EventStream specs