Enter the member registration code issued after membership registration to open the formal verification profile.