Add the example with Proc.new from the lecture