checks for z3