To understand the event "Santa wrote a list.  Santa checked his list twice.", it is important to know that Santa's last name is Clause.