The validity of this construction is due to the characterization that, in a tangential quadrilateral ABCD, the contact quadrilateral WXYZ has perpendicular diagonals if and only if the tangential quadrilateral is also cyclic.