added a small z3 followup for james's blogpost