OK: 7 comprobaciones estáticas pasaron.