Playing Rio de Janeiro Blue (Extended Version) - Mario Biondi