. . . . "The force producing the subtractions is very limited in action: most often the subtraction is of one or two rows of molecules, and none was found beyond six rows." . "empirical-generalization" . . "Decrements occur by one or two rows, never beyond six" . "P(\\max|h|,|k|,|l| \\le 2) \\gg P(\\max > 6)" . "Haüy RJ, “Traité de minéralogie, tome premier”, Conseil des Mines, Paris (Chez Louis) (1801); Structure des cristaux, p. 88. Scope: Observed crystal faces; the magnitude of their indices." . "Haüy RJ. Traité de minéralogie, tome premier. Conseil des Mines, Paris (Chez Louis) (1801)" . "René Just Haüy" . "1801"^^ . "Volume 1 holds the general theory of crystal structure: integrant molecules, the primitive form, and the laws of decrement first published in the 1784 Essai. The 1784 Essai (archive.org bub_gb_HbJDAAAAcAAJ) was fetched but its eighteenth-century OCR (long s) is too corrupt to quote; see SEARCHES.md. French." . "Public domain (1801)." . "Traité de minéralogie, tome premier" . . . . "Reading copy of Traité de minéralogie, tome premier" . . . "delphisci crystals-and-form claim extractor" . . . . "Claude Fable 5.1" . . . . . . . . . . . . "Page 88 of the reading copy; paragraph 609 of the normalised text 1801-hauy.txt (sha256 75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19), produced by build/fetch.py and checked by build/check-quotes.mjs. The text itself is not committed." . . . "Le plus souvent ces soustractions se font par une ou deux rangées de molécules. Je n'en ai point trouvé qui allassent au-delà de six rangées" . . "75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19" . "Checksum of the normalised one-paragraph-per-line text derived from the reading copy, not of the reading copy itself." . "crystals-and-form" . "2026-11-07T03:18:23.997Z"^^ . . . . . "René Just Haüy 1801 claim: Decrements occur by one or two rows, never beyond six" . . "RSA" . "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" . "eX+euX2t5JT4IHc7ooh3AskE7xEL1DnXQcNDVh/V5443/x8W3mAjAx+6ZIB2yOD1EwBuBQdvhlXLUqqyGE2XDf/YTTOvvooXPIXwSW5piJlX4QPPSBgysEsA0F0RJmkym6+UzxEDzjeOTBxBVzfCQnUk+7F8PvEw3my2cnlRGbJIbxLL2+3lsZaCLoUKDIZatHnepZ7uLjVO3ceSX6OjV2Ao0EauDm0VgO1x0VjrsUTw9jGqeQryBYypAJI6m7pWqAaMJ1V5MURgyxO3nXxdtaCqaI6a/cpme0s7EkXjBI6wKbU5l+0mFthn9wCmSsxH/Bs53ODwIKL99O+V4CeTiA==" . . .