Ran and verified examples in notebook