Who would use a tiny pencil though?