Describir: La ricerca formale come metodo /

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