Improved example 1.