Mural adorning the market, the Mercado dos Lavradores.