Second Addendum: Böhm Trees: https://en.wikipedia.org/wiki/B%C3%B6hm_tree https://en.wikipedia.org/wiki/B%C3%B6hm_tree Seem like they might be related to thi

Second Addendum: Böhm Trees: https://en.wikipedia.org/wiki/B%C3%B6hm_tree https://en.wikipedia.org/wiki/B%C3%B6hm_tree Seem like they might be related to this discussion in some way...