ParentFull threadjeromebaek·What final "assumption" are you referring to, a definition or an axiom?View on HN