Revised example 3