Ut sup * a.