Hernan Cattaneo and Mercurio – A380 (Extended Version)