ParentFull threadthewakalix·`any` corresponds to the existential quantifier, not the universal.View on HN