definite.fsmΒΆ