Text this: Characterization and Transformation of Countryman Lines and R-Embeddable Coherent Trees in ZFC

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