There are 16 crayons in the box. 9 are sharp and the rest have been
used and are dull. How many of the crayons are dull?