symmetric obstruction theory