Comment by niam

The irony of that first line might be lost along the wire because I explicitly called it an assumption where the gp did not.