Work-life balance and time management are inextricably intertwined. Especially in the demanding careers (and lives) of humans specializing in formal methods, having a clear strategy for time and space is vital. How do we manage our time effectively and find the space, both in our schedules and in the places we live and work, to fit in what's necessary and what's important? While this has long been a challenge, the COVID-19 pandemic further complicated the solution space. In this talk, I will discuss my personal lessons learned from an unconventional path and offer strategies for others to find theirs. Sometimes, earning a PhD in formal logic necessitates winning the California Triple Crown (a cycling event), and increasing office productivity by 20% involves re-arranging office furniture. This talk will explain how to make such discoveries.