QED Logic quod erat demonstrandum