ExpI (9)