Adding qed presentation example