Alternative Names
Rollback operator, timeslice operator, state query.