further progress on Equal
rec Equal verified