More of the calculation to show symplecticity and the addition of a
diagram in support of this.