Title: Long be ta e ta normal forms and confluence