TLA+ in prod, caching, tooling not eliminating our jobs, positive vs. negative thinking about incidents, result & opportunity orientation, building trust, and via negativa