Before revision:  Our general theorem is agnostic to the particular algorithms used for the target and nuisance and only makes an assumption on their individual performance.
After revision:  Our theorem is agnostic to the particular algorithms used for the target and nuisance and only makes an assumption on their individual performance.