Add vampire and z3