Hot: finite-state