The insight that 'happens before' could be formalized mathematically blew people away because it provided a precise definition of causality in distributed systems, whereas before the notion of what it means for one event to occur before another in a distributed system was vague and obvious to most people.