Describir: Extension theory of formally normal and symmetric subspaces /