Fixed inverted condition for inferring Domain