Keegan says that a quadrilateral is a square if and only if it is a rectangle. Is this a true biconditional statement?

For my math imagine users, the answer is No, because all rectangles are not squares.