Jeffrey Dahmenator @j@annihilation.social remote 7w Copy link Open link @parker A square is both a rhombus and a rectangle
Parker Banks @parker@dsmc.space remote 7w Copy link Open link @j But not all rectangles are squares. I think that's written∀x (S(x) → P(x))¬∀x (P(x) → S(x))
