Koen.Holtman comments on Formal Solution to the Inner Alignment Problem