Greg_Colbourn ⏸️ comments on A tale of 2.5 orthogonality theses