don't put QED on its own line :|