dr_s comments on Orthogonality is expensive