algebra has a confluence rule