a pleasant coincidence