What is a pencil?