An adaptation-complete proof system for local reasoning about cloud storage systems.