Explicit domains and identities states.

fix #541