Hence the new nickname, “Punchy.”