superextensions