Elimination selection is functional