decision procedure