補足。

ID:RBBwu1bmは(1),(2),(3)のスタイルにも文句をつけており、
その文句の内容は>>250に書かれている。要約すると、

「(1),(2),(3)のスタイルを貫くにしても、まず最初に
　〇〇数の "要件" が定義として与えられておかなければ
　論理の順番がおかしい」

というものである。その指摘は正しく、
当然ながら最初に要件定義が与えられるのである。
実際、>>250の直前の>>249で、お望み通りの要件定義を既に書いてある。
よって、>>250は効力を失っている。