Towards introductory example