Group theorists do it with the Monster. Hilbert spacers Hilbert spacers do it orthogonally. Large cardinals Large cardinals do it inaccessibly. Linear programmers Linear programmers do it with nearest neighbors. Logician Logicians do it by choice.
Logicians do it consistently and completely.
Logicians do it incompletely or inconsistently. Logicians do it with Jensen's device. Logicians do it necessarily and sufficiently. Markov Markov does it in chains. Mathematical physicists Mathematical physicists understand the theory of how to do it, but have difficulty obtaining practical results.