New: finite-state