Discussion
``Valid timeslice operator'' is consistent with transaction timeslice operator (+E1). ``Timeslice'' is appropriate only in a disambiguating context (+E2).