let subsume config = config.subsume