Discussion of Naming


The term ``valid-timeslice operator'' is consistent with transaction-timeslice operator (+E1). ``Timeslice'' is appropriate only in a disambiguating context (+E2).