FiniteMap signature