ParentFull threadd-lisp·True, then it doesn't differ from Kuratowski's encoding or am I missing something ?View on HN