Describir: La ricerca formale come metodo /

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