The antipedal line aX of a point X is perpendicular to the Simson line sX of the same point.