If the diagonals of a quadrilateral are perpendicular bisectors of equal length, then the quadrilateral must be a . (Give the strongest condition.)


trapezoid
rectangle
rhombus
square