Remove abandoned and sym-ineq