optimally. Functional analysts do it with compact support. Galois theorists do it in a field. Game theorists do it by dominance or saddle points. Geometers do it with involutions. Geometers do it symmetrically. Graph theorists do it in four colors. Hilbert spacers do it orthogonally. Large cardinals