pseudoreduction

not defined yet