Less trivial example