Colorado has a similar carve-out. I can't comment on Brazil, though.