explaing boolean variables in DomainFaithfulness