Higher page, per the A9 braces. Use m₁m₂ = −1: find negative reciprocals, test pairs of equations for perpendicularity, and write the perpendicular line through a given point, including the perpendicular bisector of a segment. Applied to circle tangents on the circles group. (A9)