logical effort lec 15 8412458