COIN assume