First commit.

Either and Identity untested.