Which is the correct order when analyzing a potential specifying proof?

The Scope of General Expressions, Specification and Solitary Reports