thus dom (DataPart p) misses {(IC )} by Th11, ZFMISC_1:50; :: according to MEMSTR_0:def 6 :: thesis: verum