Changes after lecture 8.75