let predbar = Util.Progress.create "challenged"