https://www.paulpolitis.com/ideas/urge-to-abstraction-order-and-regularity/
Urge to abstraction: order and regularity