This isn't intended to compile...just a proof to myself.