ParentFull threadzxcmx·Existence proofs remain popular however, as do establishing upper or lower bounds.View on HN