reverse dual in productspace