after ex9