Symbol: to_supply