a putty knife is a type of tool.