Few more bits to add to lecture 3