johnswentworth comments on The Lightcone Theorem: A Better Foundation For Natural Abstraction?