Text this: From Hahn-Banach to monotonicity /