ParentFull threadhighace·Can you go into more detail about the proof or technique they thought you were using?View on HN