ParentFull threadalimw·Are you talking about this proof in particular? I see no connection.View on HN