explicit domain