Dr. Furry

the set of ships is nonempty and finite

(any reasonable notion of) size induces a total order on the set of equivalence classes of ships of the same size

every nonempty finite total order has a maximum

there exists a ship that is no smaller than any other ship

early yugioh card: Cabbage Warrior late-stage yugioh card: Twilight Memnosinner Exhuvia

As an oppressed people, we cannot rely on the privileged classes to discover our own interests, but as a minority we also cannot rely on our independent forces to overthrow such powerful systems. A strategic alliance of all oppressed people's is needed to build socialism, whilst autonomous unions of oppressed people are needed to protect ourselves and advocate for our interests within the coalition.