7. Typing things up