Equality branch