for GX being TopStruct holds Int ({} GX) = {} GX ;