Local Reasoning for Global Properties

4 points | by ltratt a day ago