proelimination

not defined yet