Inside-equiv sorting implemented