Everything is a HO*.

-# * in case something is not, approximate higher orders away, until it is.