http://proutils.github.com/qed