Symbol: z3