Diagonals are congruent AND perpendicular bisectors of each other.