Add post on synthesis in distributed systems