Text this: The Monotone Contraction Mapping Theorem