unpropagative
not defined yet