HomeSearchLibrary
Non-decreasing function | OmniWiki