An operational theory of relative space efficiency