Formal_Nan_Corrected_SM