Text this: From Hahn-Banach to Monotonicity