Describir: La ricerca formale come metodo /

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