Where we used the following rules...
Hello maywhere I have replaced by , by and by .
PS ... and to answer your extra question, following your edit:
uses what I have always known as an Identity Law, but others sometimes refer to as a Domination Law.
See, for example, here.