example 2.3 and 2.5