u * } [.