p1c1v2 and p1c0v3 unary bug
p1c3 equalequal bug