add in some cone-condition stuff (regions where the algebra of right hand sides is compatible with Minkowskii sums)