Could distributed systems be taught from first principles?

Like this? https://dthain.github.io/distsys-fa24/syllabus.html