diai * ; t 1