Added details in the implementation notes.