u s t a t - d a t ¬ t.