@property
    def good_values(self):
        """
        Returns (a fixed) list of values in the domain.
        """