report
Parameters
report
what the run did achieve: PropositionReembedReport.propositions counts only the propositions actually re-embedded
what the run did achieve: PropositionReembedReport.propositions counts only the propositions actually re-embedded