0 qed | Definition of qed