allowed U in seq (-> A)