ATC is a unique thing - if you’re interested, suggest listening to the https://www.opposingbases.com/ podcast. It’s eye opening how much complexity they deal with, and how frequent the edge cases really are.