further progress on Equal