Add Ex9.