Locate where the formula is first defined or fully derived in the paper, and use the relevant context to extract all the direct necessary conditions for deriving or proving that formula. These ...