progress on general extensions