Add copyright notice
Add QED