瓦力所称的X的"怀特黑德衍伸式"，表记为WX。因此这个定理为WGEMTC，它的公理为C1-8。C8的逆向为GEMTC定理。因此，已知一GEMTC的公理，假如"O"及"SC"视为起初的谓语变量，则"C"为一已定义的谓语变量。假如主要的分体论是没有原子公式且比GEM来的弱，这公理确定是缺少原子公式(P9出于"卡塞迪与瓦力1999"的论述)那就可以被C9替代，如此则可以设想没有一个个体有拓扑边界：C9. formula_17当定义域包含有几何图形时，则边界值可以是点、曲线，或面。考虑到其它的本体论