Richard Moot: Proof Nets for the Displacement Calculus. FG 2016: 273-289