prior extinction