Introduction - If you have any usage issues, please Google them yourself
Given a one-way chain, the design process upside down the chain, and output the results. Requirements directly in the chain the inverted operation can only add a limited number of auxiliary variables.