 But then once the military adopts the gun, they rename it the M16. And then confusingly, when companies start to sell the semi-automatic version on the consumer market later, they call that the AR-15. So it's a little confusing. But essentially, the military version...