KBSoftware Design: Tidy First?AI and agentsMathematicians, Here’s a Way To Think About Your Existential Crisis