The Theorems of Maekawa, Kawasaki, and Justin