(via qeds)