non trivial elim alg