ExpI (17)