Why don't these match the filenames in the sample problem, and why is that not an issue?