“We all have heard it claimed that 13 is an 'unlucky number.' Indeed, there are many hotels in America that for this very reason claim not to have a 13th floor, in the sense that there is no button bearing the label '13' in their elevators (I recently stayed in one in New York, in fact).”