Lucius Bushnaq comments on Coordinate-Free Interpretability Theory