dan on Nostr: for each incremental change to the theory, you have to nudge it to prove strongest ...

for each incremental change to the theory, you have to nudge it to prove strongest theorems it can state about objects at every layer. this gives you powerful APIs for layers above and also catches nonsense and mistakes in modeling