Theory talk:Doctor Who television discontinuity and plot holes/The Name of the Doctor

The TARDIS

 * How is it that at the beggining of the episode the technician says "a TARDIS has been stolen" if it's the Doctor's grandaughter who names the TARDIS "TARDIS" after she's already travelling in it with her grandfather, I mean, the TARDIS is not "the TARDIS" yet, if you know what I mean...