further modifications of example 10