Dominic: discrete domains