x' -> x, add a normal binding test
remember to reverse a Partial output