I was sorry to hear that Martin Gardner died. I enjoyed reading his columns and books, back in the day.