First commit.
Added more about equality.
Added more comments.