Type Requirements: there must be for instance 
"d of type Domain"