foreallege

not defined yet