add propagate function in equality