Text this: A SESSION LOGIC FOR RELAXED COMMUNICATION PROTOCOLS

  _____     ______    ______   _    _    __   __  
 |__  //   /_   _//  /_   _// | || | ||  \ \\/ // 
   / //     -| ||-     | ||   | || | ||   \   //  
  / //__    _| ||_    _| ||   | \\_/ ||   / . \\  
 /_____||  /_____//  /__//     \____//   /_//\_\\ 
 `-----`   `-----`   `--`       `---`    `-`  --`