zz ^ t (Bt