## Report.equivalence


The equivalence the result is proved up to: `sv.equivalent(...)` in


`Report.equivalence: Observation`


`ensures`, or rows as a multiset with exact values (`observation`).