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.