That is true. Thing is, many people use the .mp3 format, which strips off all the DRM. If you legally own the song, you are allowed to make .mp3 copies of it. So unless they have a complete record of all the music you've ever legally owned, it's impossible to know if an .mp3 was downloaded...