Missed the canonical forms proofs in the tech report, oops