[z3 right]