Use full equality for CSE