[ Resolution proposed by ballot comment: ]

Figure out what the synchronization requirements should be and write them.