Գրեք սա: Vertical tracer mixing in hot Jupiter atmospheres