Introduced by Prof. Dan Ghica. Introductory paper: Local Reasoning for Robust Observational Equivalence (preprint)