But anyway, that is all beside the point.
That's all trivial.