Symbol: Z3