QLE_Formal_Calculation_V2