<Prog> Implementation of cAdd
<Prog> Implementing cDel