non-monotonic, demand-driven base analysis