Adds logn elimination finder with certificate of elimination.