Ported examples from introduction chapter