Implemantation paper
(will debugging)