removed old semilinear set