10078- How To Translate A Verification Step