BMSSP_Correctness.BMSSP_Pull_Minimum