附录2 动态一致性与阿莱