Describir: La ricerca formale come metodo /

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