edit lecture: lecture 31: tribial correct