[TUHS] Qed vs ed