I guess I should just define explicitly for a 16 element dict, you are right.