or-elimiation proved