unabnegated

not defined yet