fn demand_covers(given: &Demand, current: &Demand) -> bool
Whether given asks for everything current does.
given
current