Re: [TUHS] Qed vs ed