¹³We thank Joseph Hendrix for pointing out this subtlety.