Propertarian and Testimonial arguments are a bit like math or programming in tha

Propertarian and Testimonial arguments are a bit like math or programming in that it’s really helpful to have pencil and paper (or keyboard and screen) because youre really trying to construct a proof, and it’s pretty hard to do off the top of your head.

Proofs are symbolically wordy things. Programs are wordy things, propertarian and testimonial arguments are wordy things, and contracts are wordy things. All for the same reason: testability and operation construction.

So if it’s hard, its understandable.