In this talk we show how location annotations familiar from choreographic programming languages can be represented as modalities. We give a quick introduction to Modal Type Theory (MTT) and sketch how Chor$\lambda$ programs can be translated to terms of MTT. The translation requires us to introduce two novel concepts: common knowledge between roles and referencing choreographies locally. We conclude with a conjecture that all of Chor$\lambda$ can be faithfully represented.