explaing range variables in DomainFaithfulness