Another trivial example