Selectie door algoritme leidt niet tot onrechtmatig bewijs