reexplication
not defined yet