Un 88 modificato nel 17, non una variante del 15. Giusto?