examples 5.1 -> ...