Correct lecture example