unnecessary variable, domain is always the same