Nontrivial vacua in higher-derivative gravitation | Synapse