Jag rådfrågade de lärda formalisterne;