What Is Mint and How Is It Used?