Implementation details added.