Alternative Names

Rollback operator, timeslice operator, state query.