Correct. andrewshadura pointed that out above, too. The former is equivalent to the original formulation that I was trying to simplify.