I think "domain" here is like the datatype