progress - adding extensions and eq_decs