Added comments and further re-written implementation.tex.