This discussion is now unneeded.