BMSSP_Correctness.BMSSP_Operational_Pull