edit lecture: lecture 21: tribial addition