factor out equal
CPS