9 Jun
2023
9 Jun
'23
8:50 a.m.
maybe we look at portions of the world and observe that we can write patterns that fully describe these patterns (because it is so useful to do so). often this means adjusting the portions or the patterns a little as we learn more. then, when we engage those rules or patterns, we are tacitly assuming that we are engaging only the portions of the world where they apply. analogous to the rule axioms in a proof.