Changing to use finite domain <