HomeSearchLibrary
Excess demand function | OmniWiki