From Hahn-Banach to Monotonicity | EKB DL