Working examples through chpt.13