Full threadmvh·Wild speculation: because Noetherian induction is kind of tricky? And linked lists are a way to sort of allude to that trick ones without calling it out by name?View on HN