Quod erat demonstrandum 2013