Given a premise, retrieve a hypothesis that is entailed by the premise.Developers must review every line of code, one at a time.
Code must be reviewed one line at a time by developers.
There is no need for developers to review their code.