@nathansenn: SPK Proof of