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