From Hahn-Banach to monotonicity — ReaderExpo