add equality for first order logic.