r1074
If X and Y are collinear with the circumcenter O, their pedal triangles are orthologic.