Extensional SurroundConstruct