Do-we-need-equality-laws