Comments on Do We Really Need This Proved?