What Is Minty Short For