reallege

not defined yet