Uniqueness of critical metrics for a quadratic curvature functional | Synapse