New examples

Here are the new examples that I wrote.