No more infinite priority