decision procedure attempt