E 2 -formality via obstruction theory | Synapse