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