6.16 e. tr. *)