add some qed's.