Thank you, interesting work. Please, clarify what is possibly a naive question - your README states that the constraints imposed by your tool are weaker than the formal verification guarantees. Why not implement the backpressure as the full formal verification barrier? Too complex to implement?
We finally observed signals of selection for combinations of alleles that today are associated with three correlated behavioural traits: scores on intelligence tests (increasing 0.74±0.12), household income (increasing 1.12±0.12) and years of schooling (increasing 0.63±0.13). These signals are all highly polygenic, and we have to drop 449–1,056 loci for the signals to become non-significant(Extended Data Fig.10). The signals are largely driven by selection before approximately 2,000 years , after which tends towards zero.
That's the part that the speech police is afraid of.
> The sealant and O-rings did not succeed in keeping the hot gasses inside (evidence: Challenger). They were not adequate
No. The whole assembly --joint, sealant and O-rings, -- failed.
"They were not adequate" - yet, after the redesign, they kept those same O-rings and declared that boosters are safe to fly, in manifest contradiction to your assertion. So your reasoning is clearly flawed.
"The Challenger accident was not caused by O-rings or temperature on the day of launch; it was caused by a deviant joint design which opened instead of closed when loaded. It was caused by mistaking analytical adequacy of a simplified test for physical understanding of the system. The solution, post Challenger, was the structural redesign of the SRB field joint and the use of the exact same O-rings."
I find that highly surprising, because "it was the O-rings" explanation seems universally believed and sanctified by no lesser authority than the Nobel prize laureate Richard Feynman.
A big selling point for me. Needless reworking of familiar interfaces plagues
MS Windows ecosystem and I'm glad LibreOffice is displaying healthy conservatism
by not fixing what isn't broken.
Of course it did, its designer worked for Tony Blair institute.