Correction conversion verification argument