Everything after the peer set is arithmetic. The peer set is the judgement, and a judgement is only defensible if it is written down as a rule somebody else can re-run.