The end of a most enjoyable afternoon.