To understand the event "Santa wrote a list.  Santa checked his list twice.", it is important to know that Santa has written a list.