A tip of the hat,