roha's Shortform
WglmnKXdnqYzGSvawZbhWhbCqtHFrfhOxeLSHzKmziwTbYPMOMWqhGhOFPrXSLdCVixdABnlMrSJxzXuZeGkIYISJzIqErMXGRlAmgCVBZyssQwwMhRdCpWTTDcQucrtPnRJCHZXlmUIaRaJJoJwAYqiUAWNSrdbejwhMfrCpdBqcdvOBilVhLFlRQzplumIAMxwnJssEancOLOFqzBNyNlhroXgNLnirRvjDkvZzGzXqUKMatzNvuvLLBFwRXVQ
I've recently started to read a textbook by Hilbert. Consider this a rookie's attempt at formality, where a short paragraph of normal sentences would suffice to express the same idea. Feel free to mutate or mutilate it.
Assumptions
- If someone has a Giant Anteater, it can be used to find flaws in OpenSSL. | Empirically demonstrated
- If you can build a Giant Anteater, so can others. | Assumption of a shared capability front
- If a Giant Anteater can find flaws in OpenSSL, it can find flaws in most other OSS of equal or lower quality. | Assumption of a generalized capability
- OpenSSL is of high quality. | Assumption of a relevant instance
- If enough people possess the ability
... (read more)