proof primary subject, 820 assertions

There are no subgroups or aspects for proof in Ascent++.