Gave domains meaningful names and changed the variables' domains
that went along with them