ParentFull threadfourthark·It's a definition, not a consequent. Definition is equality not if-then.View on HN