What operations are referenced in Guru Verification Control Lens?

GQ-0249