At \"Automated Innovations Inc.\", a robotics manufacturer, senior process engineer Anya is tasked with formalizing a critical quality control rule using Process Specification Language (PSL). The rule states: \"For every single manufactured robot arm, there must be at least one calibration process completed and verified before it can be integrated into a larger robotic assembly.\" Anya needs to express this requirement in PSL to ensure compliance across the entire production line. Which of the following PSL expressions most accurately captures this requirement, ensuring that no robot arm proceeds to integration without undergoing a verified calibration? Assume `RobotArm(x)` represents that `x` is a robot arm, `CalibrationProcess(y)` represents that `y` is a calibration process, `CompletedAndVerified(y)` represents that `y` is completed and verified, and `IntegratedIntoAssembly(x)` represents that `x` is integrated into an assembly. The expression should assert that for every robot arm, there exists a calibration process that is completed and verified before integration.