redundances
not defined yet