A1.Roby Benvenuto – Gringo (Extended Version)