anchor.diff:                                       transport_cb = _Transport}
                       } = State0) ->
   
  -    %% {Ref,Maybe} = maybe(),
  +    {Ref,Maybe} = maybe(),
   
       try
  -        %% TODO: validate client Finished
  +        Maybe(validate_client_finished(State0, VerifyData)),
   
           State1 = calculate_traffic_secrets(State0),
   
  
positive.code: 
  
      catch
          {_Ref, {state_not_implemented, State}} ->
              %% TODO
              ?ALERT_REC(?FATAL, ?INTERNAL_ERROR, {state_not_implemented, State})
      end.
  
negative.code:         {_Ref, {state_not_implemented, State}} ->
              ?ALERT_REC(?FATAL, ?INTERNAL_ERROR, {state_not_implemented, State})
      end;
  do_wait_finished(#finished{verify_data = VerifyData},
                #state{connection_states = _ConnectionStates0,
                       session = #session{session_id = _SessionId,
                                          own_certificate = _OwnCert},
  