Progress at the K-T boundary