starting to work on decision procedure