I wonder if Paxos is actually considered hard to understand by academic computer scientists, or if it just happens to be harder than most of the algorithms that

I wonder if Paxos is actually considered hard to understand by academic computer scientists, or if it just happens to be harder than most of the algorithms that practicing software engineers regularly try to understand. Disclaimer: I'm a software engineer who doesn't understand Paxos.