ottimo lavoro - l'RL esplorativo senza verificatori creati a mano è la scommessa di scalabilità ovvia successiva