over-extensions