I know this is not relevant for this PR, but I think we should get rid of this Finite suffix.