bReal
contestada

Rewrite the definition “All rectangles are parallelograms” in biconditional form.