GTA 5 Coloring in Maude