To understand the event "Santa wrote a list.  Santa checked his list twice.", it is important to know that In reality, there is no Santa and no list.