Post by @28463 • Hey

What was/is shorter? Luis Severino's prime or Jose Altuve