Drop REMOVE-CONJECTURE.