see [Finomaton]