A trading bot for market makers