Added example 13.