Symbol: QED_MIN_L2_CONS