Multimaster assumptions