ParentFull threadusgroup·Yes, just like the algorithm that decides whether any given algorithm terminates could be "one algorithm" (if it was possible) :-)View on HN