Z3 with my bro, @doughnutkill.