Abstract: I will discuss some bulk implications of causality via subregion/subregion duality in AdS/CFT. To do so, I will introduce a new approach to geometric problems about extremal surfaces via properties of simple algebraic operators. As an illustrative application of the power of this formalism, I will give a proof of an averaged version of the quantum focusing conjecture for perturbations of AdS.