logical effort lecture 13 3271349