It took me a minute to parse this section, but it seems correct.