Previously Used Names
Rollback operator, timeslice operator, state query.