modifed definition 1.1.5, example 1.2 added another example