Deal logic