Could distributed systems be taught from first principles?