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