miami is true - red + red = red²