## Report.needed_text


[needed](Report.needed.md#sverify.Report.needed) in words: per input table and operation, the preconditions


`Report.needed_text: list[str]`


the proof needs, where they come from, and the fixes.