unpropagated

not defined yet