more work on finite domains