Abstract: I will present a proof of the Freudenthal suspension theorem in HoTT. Unlike many other proofs in HoTT, this one is not merely an adaptation of a classical argument, but involves genuinely new techniques.